BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·7h
✓Automated Theorem Proving
Show HN: My first finished audio plugin. Minimal Bloat, Under 1000 LOC
news.ycombinator.com·6h·
Discuss: Hacker News
💿FLAC Archaeology
Online activities 6 – 12 October
ests.wordpress.com·3h
🏗️Constructive Mathematics
The Mondrian introduction to functional optics
marcosh.github.io·2h·
Discuss: Hacker News
⟷Bidirectional Programming
Know Audio: Distortion Part Two
hackaday.com·18h
🌈Spectral Audio
The Chip That Spoke Lisp
jxself.org·23m
🤖Lisp Machines
DCP-o-matic • LtRt Matrix Decoder
dcpomatic.com·2h
💿FLAC Archaeology
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Generalized rational Prony and Bernoulli methods
arxiv.org·7h
🌈Spectral Methods
Ocean Rendering, Part 1 – Simulation
rtryan98.github.io·4h·
Discuss: Hacker News
🌊Digital Signal Processing
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·49m·
Discuss: DEV
⚡Performance Mythology
What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·8h·
Discuss: Hacker News
🔲Cellular Automata
Categorical Invariants of Learning Dynamics
arxiv.org·7h
🕸️Algebraic Topology
[P] Looking to interview people who’ve worked on audio labeling for ML (PhD research project)
reddit.com·1d·
Discuss: r/MachineLearning
🎵Audio ML
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
🔧Hardware Verification
TypeScript Flaws (2024)
intercaetera.com·10h·
Discuss: Hacker News
🎯Gradual Typing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·20h·
Discuss: Hacker News
💻Local LLMs
Experimental Proof: MENT-Flow Achieves Consistency with MENT Solutions for Beam Reconstruction
hackernoon.com·10h
🧠Learned Codecs
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·7h
🔗Parser Combinators